1.1.1.7. core.VLASize (C)
Check for declarations of Variable Length Arrays of undefined or zero size.

Examples:

void test() {
  int x;
  int vla1[x]; // warn: garbage as size
}

void test() {
  int x = 0;
  int vla2[x]; // warn: zero size
}